home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / latex209 / contrib / geom / mathfig.orig < prev    next >
Text File  |  1993-01-11  |  1KB  |  58 lines

  1. #!/bin/sh
  2. #
  3. # This is mathfig, Copyright 1992 Silvio Levy
  4. # $Header: /a/tampa/h/tampa_a/fac/levy/texts/geombook/RCS/mathfig,v 1.1 92/07/17 13:27:38 levy Exp $
  5. #
  6. umask 002
  7.  
  8. # The following lines give the locations of the auxiliary scripts
  9. # geomfix and mathlabels.
  10. geomfix=geomfix
  11. mathlabels=mathlabels
  12.  
  13. init=""
  14.  
  15. if test $# -eq 0
  16. then
  17.     echo "Usage: $0 [-d directory] [-i initfile] filenames"; exit;
  18. fi
  19.  
  20. while test "$1" = "-d" || test "$1" = "-i"
  21. do
  22.     if test $# -lt 3
  23.     then
  24.         echo "Usage: $0 [-d directory] [-i initfile] filenames"; exit;
  25.     fi
  26.         case "$1" in
  27.         "-d") if test -d "$2" && test -w "$2" && test -r "$2"
  28.           then    
  29.         cd "$2"; shift; shift ;
  30.           else
  31.         echo "Directory $2 not found or permissions wrong"; exit;
  32.  
  33.               fi;;
  34.         "-i") init="$2"; shift; shift;;
  35.         esac
  36. done
  37.  
  38. for i in "$@"
  39. do
  40.     pref=`echo $i | sed 's/\.m$//'`
  41.     /bin/rm -f $pref.ps $pref.lab
  42.  
  43.     math << EOF
  44.         (\$Def[x_?NumberQ,_] := ToString[x]; 
  45.         \$Def[__,default_] := default;
  46.     If["$init"!="",Print["Reading $init..."]; Get["$init"]];
  47.     Print["Reading $pref.m..."]; picture=Get["$pref.m"];
  48.     Display[StringJoin[
  49.         "! $geomfix -width ",
  50.            \$Def[\$width,"5"], " -height ", \$Def[\$height,"2"], 
  51.            " -lmarg 0 -rmarg 0 -tmarg 0 -bmarg 0 ",
  52.         "| $mathlabels $pref.lab ", \$Def[\$xlo,"OK"], " ", 
  53.                \$Def[\$xhi,"OK"], " ", \$Def[\$ylo,"OK"], " ", 
  54.                \$Def[\$yhi,"OK"], "> $pref.ps"],
  55.       picture])
  56. EOF
  57. done
  58.